MIME-Version: 1.0
Server: CERN/3.0
Date: Wednesday, 15-Jan-97 01:49:40 GMT
Content-Type: text/html
Content-Length: 5697
Last-Modified: Tuesday, 19-Nov-96 03:04:35 GMT

<html>

<head>

<title>
Paul A.G. Sivilotti (Resume)
</title>

</head>

<!-------------------------------------------------------------------->
<!-------------------------------------------------------------------->

<body bgcolor="#FFFFFF" text="#000000" link="#0000BB">

<center>

<h1>
<em>Paul A.G. Sivilotti</em>
</h1>

Caltech 256-80 <br> 
Pasadena, CA 91125 <br>
(818) 395-6230 <br>
<code>paolo@cs.caltech.edu</code> <br>
<code>http://www.cs.caltech.edu/~paolo</code>

</center>

<!-------------------------------------------------------------------->

<h2>
Education
</h2>

<dl>
<dt> Expected June 1997
<dd>
	Ph.D. Computer Science <br>
	California Institute of Technology <br>
	Thesis Topic: Correctness of Distributed Object Computations <br>
	Advisor: K. Mani Chandy <br>
<br>

<dt> June 1993
<dd>
	M.S. Computer Science <br>
	California Institute of Technology <br>
	Thesis Title: A Verified Integration of Imperative Parallel
		Programming Paradigms in an Object-Oriented Language <br>
<br>

<dt> April 1991
<dd>
	B.Sc.H. Computing Science, Mathematics, and Biochemistry <br>
	Queen's University <br>
	Kingston, Ontario, Canada <br>
</dl>

<!-------------------------------------------------------------------->

<h2>
Awards
</h2>

<ul>
<li>	1995-97   IBM Computer Science Fellowship  
<li>	1996      Best Paper Award in High Performance Distributed
		    Computing Software
<li>	1991-95   NSERC '67 Science and Engineering Fellowship <br>
		    (fewer than 50 awarded in Canada)
<li>	1991	  Prince of Wales Prize (Hon. Mention) <br>
		    (top graduating student in Faculty of Arts and Science)
<li>	1991	  Medal in Computer Science <br>
		    (top graduating student in Department of Computer Science)
<li>	1991	  Arts and Science Undergraduate Scholarship <br>
		    (contribution to university community and academic excellence)
<li>	1990	  NSERC Summer Research Fellowship
<li>	1990	  Digital Equipment of Canada Award of Excellence <br>
		    (top junior student in Departments of Computing Science and EE)
<li>	1990	  Alumni Advisory Award
<li>	1988-90   Mel Williamson Foundation Award
<li>	1987-91	  Dean's Honour List (4 years)
<li>	1987-90   James and Margaret Daley Scholarship
<li>	1987-89   Queen's Tricolour Scholarship
</ul>

<!-------------------------------------------------------------------->

<h2>
Classes
</h2>

<dl>
<dt> 1994-present
<dd>
	Classes toward Engineering Management Certificate <br>
	Industrial Relations Center, California Institute of Technology
</dl>

<!-------------------------------------------------------------------->

<h2>
Research Interests
</h2>

<ul>
<li> Distributed object computing
<li> Interface and specification languages
<li> Formal methods of program development
<li> Parallel computing 
</ul>

<!-------------------------------------------------------------------->

<h2>
Refereed Publications
</h2>

<cite>
	"A World-Wide Distributed System Using Java and the Internet",
K. Mani Chandy, Adam Rifkin, Paolo A.G. Sivilotti, Jacob Mandelson, 
Matt Richardson, Wesley Tanaka, and Luke Weisman.  
Proceedings of the 5th IEEE International Symposium on High
Performance Distributed Computing (HPDC '96), p.11-18, Syracuse, 
Aug 9-11, 1996.
(won Best Paper Award)
</cite>

<p>
<cite>
	"Toward High Confidence Distributed Systems with Java:
Reliable Thread Libraries", 
Paolo A.G. Sivilotti and K. Mani Chandy.
Proceedings of the 11th International Conference on Systems Engineering 
(ICSE '96), p.194-199, Las Vegas, 
July 9-11, 1996.
</cite>

<p>
<cite>
	"A Verified Integration of Parallel Programming Paradigms in CC++", 
Paolo A.G. Sivilotti.  
Proceedings of the 8th IEEE International Parallel Processing Symposium 
(IPPS '94), p.44-50, Cancun, Mexico,
April 26-29, 1994.
</cite>

<h2>
Research Notes
</h2>

<cite>
       "Composing Processes Using Modified Rely-Guarantee Specifications",
Rajit Manohar and Paolo A.G. Sivilotti,
Technical Report, Caltech CS-TR-96-22, June 1996.
</cite>

<p>
<cite>
       "Reliable Synchronization Primitives for Java Threads",
Paolo A.G. Sivilotti and K. Mani Chandy.
Technical Report, Caltech CS-TR-96-11, June 1996.
</cite>

<p>
<cite>
	"A Tutorial for CC++", 
Paolo A.G. Sivilotti and Peter A. Carlin.
Technical Report, Caltech CS-TR-94-02, and CRPC-94391, 1994.
</cite>

<p>
<cite>
	"A Verified Integration of Imperative Parallel Programming 
Paradigms in an Object-Oriented Language", Paolo A.G. Sivilotti.  
Master's Thesis, Technical Report, Caltech CS-TR-93-21, 
and CRPC-94-03, June 1993.
</cite>

<!-------------------------------------------------------------------->

<h2>
Work Experience
</h2>

IBM Summer Research Internship, T.J. Watson Research Center, 	Summer 1995.

<p>
Teaching Assistant, California Institute of Technology
<ul>
<li>		Algorithms (CS138), Mani Chandy, 1995-96.
<li>		Programming Paradigms (CS140), Beverly Sanders, 1994-95.
<li>		Information Theory (CS/EE 129), Yaser Abu-Mostafa, 1992-93.
</ul>

<p>
Research Assistant, Canadian Communications Research Center, Summer 1991.

<!-------------------------------------------------------------------->

<h2>
References
</h2>

References are available upon request.

</body>

<!-------------------------------------------------------------------->
<!-------------------------------------------------------------------->

<P>
<HR>
<ADDRESS>
<!WA0><a href="http://www.caltech.edu/">
<!WA1><img src="http://www.caltech.edu/pictures/tinycitlogo.gif" align=middle></a> <br>
<!WA2><a href="http://www.cs.caltech.edu/~paolo">Paul Sivilotti</a> <br>
<!WA3><a href="http://www.cs.caltech.edu">Computer Science Department</a> <br>
<!WA4><a href="http://www.caltech.edu/">California Institute of Technology</a>, Pasadena, CA 91125.
</ADDRESS>

</html>
